<html>
<head>
    <title>OpenTxl Documentation</title>
    <style>
      div.scroll {
        width: 95%;
        height: auto;
        align: left;
        overflow-y: auto;
      }
      h2 {
          margin-top: 0;
          margin-bottom: 0;
      }
      h3 {
          margin-top: 0;
          margin-bottom: 0;
      }
    </style>
</head>
<body>
<br>
<font face="sans-serif">
<table align="center" width="95%" height="1000px">
    <tr valign="top">
        <td colspan=3>
            <h2>OpenTxl Documentation</h2>
            <ul>
            Version 11.3<br>
            <p>
            <font size="-1">
            &copy; 1991-2023 James R. Cordy and others<br>
            November 2023<br><br>
            </font>
            </p>
            </ul>
        </td>
    </tr>
    <tr valign="top" height="870px">
        <td width="300px">
            <div style="padding: 10px;background-color: #F0F0F0;" class="scroll">
                <h3>Table of Contents</h3>
                <br>
                <a href="TXL-ug-11.3.html">The OpenTxl Compiler / Interpreter User's Guide</a><br>
                    <ul>
                    <p>User's guide for the OpenTxl command-line implementation of the TXL programming language, version 11.3.</p>
                    </ul>
                <a href="TXL-refman-11.3.html">The TXL Programming Language Reference Manual</a><br>
                    <ul>
                    <p>Specification and reference manual for the TXL programming language, version 11.3.</p>
                    </ul>
                <a href="TXL-builtins-11.3.html">The TXL Built-in Functions</a><br>
                    <ul>
                    <p>Reference manual for the TXL built-in functions, version 11.3.</p>
                    </ul>
            </div>
        </td>
    </tr>
</table>
</body>
</html>
